Silvio Ranise: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Computer Security Volume 11981 (ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26â27, 2019, Revised Selected Papers) ||

Fournaris, Apostolos P., Athanatos, Manos, Lampropoulos, Konstantinos, Ioannidis, Sotiris, Hatzivasilis, George, Damiani, Ernesto, Abie, Habtamu, Ranise, Silvio, Verderame, Luca, Siena, Alberto, Garci

Year:

2020

Language:

english

File:

PDF, 22.94 MB

english, 2020

2

Blockchain Tree as Solution for Distributed Storage of Personal ID Data and Document Access Control

Kushch, Sergii, Baryshev, Yurii, Ranise, Silvio

Journal:

Year:

2020

File:

PDF, 792 KB

2020

3

[Lecture Notes in Computer Science] Computer Security Volume 11981 (ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26â27, 2019, Revised Selected Papers) || Blockchain Based Sharing of Security Information for Critical Infrastructures of the Finance Sector

Fournaris, Apostolos P., Athanatos, Manos, Lampropoulos, Konstantinos, Ioannidis, Sotiris, Hatzivasilis, George, Damiani, Ernesto, Abie, Habtamu, Ranise, Silvio, Verderame, Luca, Siena, Alberto, Garci

Year:

2020

Language:

english

File:

PDF, 1.82 MB

english, 2020

4

[IEEE 2019 IEEE World Congress on Services (SERVICES) - Milan, Italy (2019.7.8-2019.7.13)] 2019 IEEE World Congress on Services (SERVICES) - MQTTSA: A Tool for Automatically Assisting the Secure Deployments of MQTT Brokers

Palmieri, Andrea, Prem, Paolo, Ranise, Silvio, Morelli, Umberto, Ahmad, Tahir

Year:

2019

Language:

english

File:

PDF, 354 KB

english, 2019

5

Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories

Alberti, Francesco, Ghilardi, Silvio, Pagani, Elena, Ranise, Silvio, Paolo Rossi, Gian

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2012

File:

PDF, 942 KB

2012

6

[IEEE 2016 International Conference on Military Communications and Information Systems (ICMCIS) - Brussels, Belgium (2016.5.23-2016.5.24)] 2016 International Conference on Military Communications and Information Systems (ICMCIS) - Assisted content-based labelling and classification of documents

Wrona, Konrad, Oudkerk, Sander, Armando, Alessandro, Ranise, Silvio, Traverso, Riccardo, Ferrari, Lisa, McEvoy, Richard

Year:

2016

Language:

english

File:

PDF, 508 KB

english, 2016

7

[ACM Press the 23nd ACM - Indianapolis, Indiana, USA (2018.06.13-2018.06.15)] Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies - SACMAT '18 - A Lazy Approach to Access Control as a Service (ACaaS) for IoT

Ahmad, Tahir, Morelli, Umberto, Ranise, Silvio, Zannone, Nicola

Year:

2018

Language:

english

File:

PDF, 1.57 MB

english, 2018

8

[Lecture Notes in Computer Science] Computer Security Volume 11981 (ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26â27, 2019, Revised Selected Papers) || dAPTaset: A Comprehensive Mapping of APT-Related Data

Fournaris, Apostolos P., Athanatos, Manos, Lampropoulos, Konstantinos, Ioannidis, Sotiris, Hatzivasilis, George, Damiani, Ernesto, Abie, Habtamu, Ranise, Silvio, Verderame, Luca, Siena, Alberto, Garci

Year:

2020

Language:

english

File:

PDF, 500 KB

english, 2020

9

[Lecture Notes in Computer Science] Security and Trust Management Volume 8203 ||

Accorsi, Rafael, Ranise, Silvio

Year:

2013

Language:

english

File:

PDF, 6.51 MB

english, 2013

10

[ACM Press the 19th ACM symposium - London, Ontario, Canada (2014.06.25-2014.06.27)] Proceedings of the 19th ACM symposium on Access control models and technologies - SACMAT '14 - Attribute based access control for APIs in spring security

Armando, Alessandro, Carbone, Roberto, Chekole, Eyasu Getahun, Ranise, Silvio

Year:

2014

Language:

english

File:

PDF, 1.12 MB

english, 2014

11

Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements

Sciarretta, Giada, Carbone, Roberto, Ranise, Silvio, Armando, Alessandro

Journal:

Computers & Security

Year:

2017

Language:

english

File:

PDF, 1.75 MB

english, 2017

12

[IEEE 2020 IEEE 3rd 5G World Forum (5GWF) - Bangalore, India (2020.9.10-2020.9.12)] 2020 IEEE 3rd 5G World Forum (5GWF) - Security Considerations on 5G-Enabled Back-Situation Awareness for CCAM

Centenaro, Marco, Berlato, Stefano, Carbone, Roberto, Burzio, Gianfranco, Cordella, Giuseppe Faranda, Ranise, Silvio, Riggio, Roberto

Year:

2020

File:

PDF, 425 KB

2020

13

[Lecture Notes in Computer Science] Security and Trust Management Volume 8203 || Socio-Technical Study on the Effect of Trust and Context When Choosing WiFi Names

Accorsi, Rafael, Ranise, Silvio

Year:

2013

Language:

english

File:

PDF, 1.72 MB

english, 2013

14

[ACM Press the 22nd ACM - Indianapolis, Indiana, USA (2017.06.21-2017.06.23)] Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies - SACMAT '17 Abstracts - Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems

Guarda, Paolo, Ranise, Silvio, Siswantoro, Hari

Year:

2017

Language:

english

File:

PDF, 1.48 MB

english, 2017

15

Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies

Ranise, Silvio, Truong, Anh, Viganò, Luca

Journal:

Journal of Computer Security

Year:

2018

Language:

english

File:

PDF, 737 KB

english, 2018

16

Quantifier-free interpolation in combinations of equality interpolating theories

Bruttomesso, Roberto, Ghilardi, Silvio, Ranise, Silvio

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 536 KB

english, 2014

17

[IEEE 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Limassol, Cyprus (2018.10.15-2018.10.17)] 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - SPLIT: A Secure and Scalable RPL routing protocol for Internet of Things

Conti, Mauro, Kaliyar, Pallavi, Rabbani, Md Masoom, Ranise, Silvio

Year:

2018

Language:

english

File:

PDF, 408 KB

english, 2018

18

Preface

Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 70 KB

english, 2005

19

Constraint contextual rewriting

Alessandro Armando, Silvio Ranise

Journal:

Journal of Symbolic Computation

Year:

2003

Language:

english

File:

PDF, 359 KB

english, 2003

20

An extension of lazy abstraction with interpolation for programs with arrays

Alberti, Francesco, Bruttomesso, Roberto, Ghilardi, Silvio, Ranise, Silvio, Sharygina, Natasha

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 1.02 MB

english, 2014

21

[IEEE 2013 IEEE Third International Conference on Information Science and Technology (ICIST) - Yangzhou, Jiangsu, China (2013.03.23-2013.03.25)] 2013 IEEE Third International Conference on Information Science and Technology (ICIST) - A methodology to build run-time monitors for security-aware workflows

Bertolissi, Clara, Ranise, Silvio

Year:

2013

Language:

english

File:

PDF, 685 KB

english, 2013

22

[ACM Press the 7th ACM CCS International Workshop - Denver, Colorado, USA (2015.10.16-2015.10.16)] Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats - MIST '15 - Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module

Armando, Alessandro, Bocci, Gianluca, Costa, Gabriele, Mammoliti, Rocco, Merlo, Alessio, Ranise, Silvio, Traverso, Riccarto, Valenza, Andrea

Year:

2015

Language:

english

File:

PDF, 805 KB

english, 2015

23

A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework

David Déharbe, Silvio Ranise, Jorgiano Vidal

Journal:

Journal of the Brazilian Computer Society

Year:

2008

Language:

english

File:

PDF, 596 KB

english, 2008

24

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Guaranteeing Correctness of Bulk Operations in Outsourced Databases

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 296 KB

english, 2016

25

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Practical Differentially Private Modeling of Human Movement Data

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 218 KB

english, 2016

26

A rewriting approach to satisfiability procedures

Alessandro Armando, Silvio Ranise, Michaël Rusinowitch

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 285 KB

english, 2003

27

[IEEE 2009 International Conference on Computational Science and Engineering - Vancouver, BC, Canada (2009.08.29-2009.08.31)] 2009 International Conference on Computational Science and Engineering - Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures

Barletta, Michele, Ranise, Silvio, Vigano, Luca

Year:

2009

Language:

english

File:

PDF, 767 KB

english, 2009

28

Formal analysis of XACML policies using SMT

Turkmen, Fatih, den Hartog, Jerry, Ranise, Silvio, Zannone, Nicola

Journal:

Computers & Security

Year:

2017

Language:

english

File:

PDF, 1024 KB

english, 2017

29

Combination of convex theories: Modularity, deduction completeness, and explanation

Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 2.93 MB

english, 2010

30

[ACM Press the second ACM conference - San Antonio, Texas, USA (2012.02.07-2012.02.09)] Proceedings of the second ACM conference on Data and Application Security and Privacy - CODASKY '12 - Efficient run-time solving of RBAC user authorization queries

Armando, Alessandro, Ranise, Silvio, Turkmen, Fatih, Crispo, Bruno

Year:

2012

Language:

english

File:

PDF, 1.12 MB

english, 2012

31

[Lecture Notes in Computer Science] Frontiers of Combining Systems Volume 9322 || An Expressive Model for Instance Decomposition Based Parallel SAT Solvers

Lutz, Carsten, Ranise, Silvio

Year:

2015

Language:

english

File:

PDF, 293 KB

english, 2015

32

Parameterized model checking for security policy analysis

Ranise, Silvio, Truong, Anh, Traverso, Riccardo

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 775 KB

english, 2016

33

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Private and Secure Secret Shared MapReduce (Extended Abstract)

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 307 KB

english, 2016

34

[IEEE 2011 IEEE Fifth International Conference on Semantic Computing (ICSC) - Palo Alto, CA, USA (2011.09.18-2011.09.21)] 2011 IEEE Fifth International Conference on Semantic Computing - Automated analysis of semantic-aware access control policies: a logic-based approach

Armando, Alessandro, Carbone, Roberto, Ranise, Silvio

Year:

2011

Language:

english

File:

PDF, 213 KB

english, 2011

35

[ACM Press the 6th ACM Symposium - Hong Kong, China (2011.03.22-2011.03.24)] Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security - ASIACCS '11 - Efficient symbolic automated analysis of administrative attribute-based RBAC-policies

Alberti, Francesco, Armando, Alessandro, Ranise, Silvio

Year:

2011

Language:

english

File:

PDF, 440 KB

english, 2011

36

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Enhanced Functionality and Confidentiality for Database Search and Publish/Subscribe Protocols

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 493 KB

english, 2016

37

Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving1

Armando, Alessandro, Ranise, Silvio, Barthe, Gilles, Cuellar, Jorge, Lopez, Javier, Pretschner, Alexander

Journal:

Journal of Computer Security

Year:

2012

Language:

english

File:

PDF, 566 KB

english, 2012

38

New results on rewrite-based satisfiability procedures

Armando, Alessandro, Bonacina, Maria Paola, Ranise, Silvio, Schulz, Stephan

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 737 KB

english, 2009

39

Automatically finding execution scenarios to deploy security-sensitive workflows

dos Santos, Daniel Ricardo, Ranise, Silvio, Compagna, Luca, Ponta, Serena Elisa

Journal:

Journal of Computer Security

Year:

2017

Language:

english

File:

PDF, 448 KB

english, 2017

40

[IEEE 2019 IEEE Global Conference on Internet of Things (GCIoT) - Dubai, United Arab Emirates (2019.12.4-2019.12.7)] 2019 IEEE Global Conference on Internet of Things (GCIoT) - Blockchain Tree for eHealth

Kushch, Sergii, Ranise, Silvio, Sciarretta, Giada

Year:

2019

File:

PDF, 337 KB

2019

41

[ACM Press the 19th ACM symposium - London, Ontario, Canada (2014.06.25-2014.06.27)] Proceedings of the 19th ACM symposium on Access control models and technologies - SACMAT '14 - Scalable and precise automated analysis of administrative temporal role-based access control

Ranise, Silvio, Truong, Anh, Armando, Alessandro

Year:

2014

Language:

english

File:

PDF, 1019 KB

english, 2014

42

Distributing the Workload in a Lazy Theorem-Prover

David Deharbe, Silvio Ranise, Jorgiano Vidal

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 359 KB

english, 2007

43

AUTOMATED TERMINATION IN MODEL-CHECKING MODULO THEORIES

CARIONI, ALESSANDRO, GHILARDI, SILVIO, RANISE, SILVIO

Journal:

International Journal of Foundations of Computer Science

Year:

2013

Language:

english

File:

PDF, 392 KB

english, 2013

44

[ACM Press the 21st ACM - Shanghai, China (2016.06.06-2016.06.08)] Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies - SACMAT '16 - Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem

dos Santos, Daniel R., Ponta, Serena Elisa, Ranise, Silvio

Year:

2016

Language:

english

File:

PDF, 1.29 MB

english, 2016

45

A SMT-based methodology for monitoring of security-aware workflows

Bertolissi, Clara, Ranise, Silvio

Journal:

International Journal of Internet Technology and Secured Transactions

Year:

2014

Language:

english

File:

PDF, 463 KB

english, 2014

46

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 ||

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 16.12 MB

english, 2016

47

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || A Practical Framework for Executing Complex Queries over Encrypted Multimedia Data

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 542 KB

english, 2016

48

[ACM Press the Seventh ACM - Scottsdale, Arizona, USA (2017.03.22-2017.03.24)] Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy - CODASPY '17 - Aegis

Compagna, Luca, dos Santos, Daniel Ricardo, Ponta, Serena Elisa, Ranise, Silvio

Year:

2017

Language:

english

File:

PDF, 665 KB

english, 2017

49

Light-Weight SMT-based Model Checking

Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 409 KB

english, 2009

50

Automatic decidability and combinability

Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 286 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски